package hu.bme.mit.bpel.incquery.validation.constraints;

import org.eclipse.viatra2.emf.incquery.runtime.api.IMatcherFactory;
import org.eclipse.viatra2.emf.incquery.runtime.api.IncQueryMatcher;
import org.eclipse.viatra2.emf.incquery.validation.core.Constraint;

import patternmatchers.bpelqueries.FindUnhandledFaultInParentProcessMatcher;
import signatures.bpelqueries.FindUnhandledFaultInParentProcessSignature;

public class UnhandledGlobalFault extends Constraint<FindUnhandledFaultInParentProcessSignature> {

	@Override
	public String getMessage() {
		return "The Process has Globally unhandled Exceptions.";
	}

	@Override
	public IMatcherFactory<FindUnhandledFaultInParentProcessSignature, ? extends IncQueryMatcher<FindUnhandledFaultInParentProcessSignature>> matcherFactory() {
		return FindUnhandledFaultInParentProcessMatcher.FACTORY;
	}

}
